Tychonoff's theorem without the axiom of choice
نویسندگان
چکیده
منابع مشابه
Rowbottom cardinals without the Axiom of Choice
We show that for all natural numbers n, the theory “ZF +DCאn + אω is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + אω1 is an ω2-Rowbottom cardinal carrying an ω2-Rowbottom filter and ω1 is regular” has the same consistency strength as the theory “ZFC + There...
متن کاملZermelo Theorem and Axiom of Choice
The article is continuation of [2] and [1], and the goal of it is show that Zermelo theorem (every set has a relation which well orders it proposition (26)) and axiom of choice (for every non-empty family of non-empty and separate sets there is set which has exactly one common element with arbitrary family member proposition (27)) are true. It is result of the Tarski’s axiom A introduced in [5]...
متن کاملArrow's Theorem, Weglorz' Models and the Axiom of Choice
Applying Weglorz’ models of set theory without the axiom of choice, we investigate Arrow-type social welfare functions for infinite societies with restricted coalition algebras. We show that there is a reasonable, nondictatorial social welfare function satisfying “finite discrimination”, if and only if in Weglorz’ model there is a free ultrafilter on a set representing the individuals. AMS-subj...
متن کاملThe Axiom of Choice
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X...
متن کاملThe Axiom of Choice
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1981
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-113-1-21-35